reduction to absurdity
英 [rɪˈdʌkʃn tu əbˈsɜːdɪti]
美 [rɪˈdʌkʃn tu əbˈsɜrdəti]
网络 归谬法; 反证法; 归谬
双语例句
- In other some sufficient conditions, by using reduction to absurdity, we prove there is no positive periodic solution.
在另外的条件下，通过用反证法证明了该系统的正周期解不存在。 - At present in logic people have different opinions on the question whether reduction to absurdity is direct refutation or indirect one.
在反驳方法中，归谬法究竟属于直接反驳还是间接反驳，目前的逻辑学界还存在着较为严重的分歧。 - On the Propositional Fallacy of the Three Systems of Logic At present in logic people have different opinions on the question whether reduction to absurdity is direct refutation or indirect one.
谬误的比较研究&以三大逻辑的命题为视角在反驳方法中，归谬法究竟属于直接反驳还是间接反驳，目前的逻辑学界还存在着较为严重的分歧。 - Comparisons between Mohist "Tui" and "Xiao" and Aristotelian Reduction to Absurdity and Deductive Methods A NEW METHOD TO IMPLEMENT LESS DUPLICATION DEDUCTION IN DDB
墨家推、效与亚氏归谬法、演绎法的比较演绎数据库推理冗余的产生和一个新的处理算法 - But the method of infinite approach is used more widely, it is a uninfinite procedure, and it only can achieve the desired results with reduction to absurdity.
“割圆术”包含近代极限思想，其过程是一个无限过程，可以创造崭新结果； - Abstract: reduction to absurdity is an important mathematical proof, and its analysis, synthesis, has a long history, applications are very wide.
摘要：反证法是一种重要的数学证明方法，它和分析法、综合法一样，有着悠久的历史，应用也相当广泛。 - Research and Realization of Reduction to Absurdity in Computer Automatic Reasoning System
反证法在计算机自动推理系统中的研究与实现 - Method: to examine the assumption by adopting integral and systematic reduction to absurdity.
方法：采用整体、系统、反证法进行验证。 - Truth table, value assignment of reduction to absurdity, truth tree, deductive argumentation and normal form etc. are the methods of judging ( or proving) tautology in propositional calculus of mathematical logic, but not that of judging inference formula in traditional propositional logic.
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。 - Though resolution principle is a reduction to absurdity, it has been known that linear program can be extracted from resolution principle, and it is already proved that branch program can be extracted from resolution principle.
归结原理是一种反证法，人们早已知道可以从归结证明中抽取顺序程序，并且已经证明可以从归结证明树抽取分支程序。 - Construction method is an important and skilful thinking, using construction method and reduction to absurdity and construction method and inductive method to resolve a kinds of existence problem in graph theory.
构造是一种重要而灵活的思维，利用构造法与反证法、构造法与数学归纳法的联合运用，解决图论中的一类存在性问题。 - Analysing the Difficulties in Understanding the Reduction to Absurdity
学生理解反证法的难点探析 - Reduction to absurdity, called as "one of the excellent weapons of mathematicians" is an important method of testifying maths proposition.
被誉为数学家最精良的武器之一的反证法，是证明数学命题的一种重要方法。 - It will play an important role in developing students 'intellegence and fostering students' innovative concept to use inverse thinking in the teaching of higher Mathematics, such as using inverse reasoning thinking, indirect thinking, reduction to absurdity and taking opposite examples.
在高等数学教学中具体运用反推思考、间接思考、反证法和举反例等逆向思维方法，对发展学生智力、培养学生的创新思维能力具有重要的作用。 - The answer is negative, after presenting several typical examples ( reference [ 1]). In this paper, in a way of reduction to absurdity and construction, we prove the conclusion inextenso.
答案是否定的，在列举了几个例子（参见文献[1]）之后，本文通过反证以及构造的方法，对此结论给出了一个完整的论证。 - The paper first proves the diffusion of the harmonious progression by using reduction to absurdity, and then spreads this method to establish an approach to distinguish the diffusion of the Positive Item Congres-sion.
本文首先对调和级数用反证法证明其发散，随后，将这种方法加以推广建立了判别正项发散的一种方法&加括号法，而这种方法也适用于一般项级数。 - In chapter three, by means of Riccati transformation and reduction to absurdity, we discuss the oscillation of certain even order half-linear differential equation with distributed deviating arguments and we give some examples to validate the results.
在第三章中，我们利用Riccati变换和反证法讨论了某个具有分布偏差变元的偶数阶半线性微分方程解的振动性，并且举些例子验证所得结果。 - ? It analyses the reasons of occurrence of difficulties in the study of reduction to absurdity from the point of cognition development of students in this paper.
从学生认知发展的角度，分析了学生学习反证法产生困难的原因。 - Application of Reduction to Absurdity in Proving Multinomial Theory
反证法在论证多项式理论中的应用 - This paper tries to prove equivalence of Kelvin Statement and Clausius Statement of the second law of thermodynamics under negative absolute temperature by reduction to absurdity.
用反证法证明在负绝对温度下热力学第二定律的开尔文表述和克劳修斯表述等效。 - Example for the Application of Reduction to Absurdity to Advanced Mathematics
反证法在高等数学中的应用举例 - The logical principle of reduction to absurdity in brief, exploring its applications of on athe matics in the middle school.
闹明反证法的逻辑原理，探索其在中学数学中的应用。 - By using reduction to absurdity, these results about oscillation in the prevention literatures were expanded to the high order case. Some new sufficient conditions are obtained.
运用反证法，将已有文献中的结论推广到高阶方程上，获得了该类方程振动的充分条件。 - Meanwhile, we discuss the oscillation and asymptotic behavior to high-order equations, using reduction to absurdity and mathematics induction, these results about oscillation in the prevenient literatures were expanded to the high order case.
同时，讨论了高阶方程的渐近性和振动性，运用反证法和数学归纳法，将已有文献中关于振动性的结论推广到了高阶方程上。